| 1. | Formal design review ; amendment 1
形式设计概述.补充件1 |
| 2. | Formal design and service evaluation reviews are key control points
设计和服务的正式评估审核是关键的控制点。 |
| 3. | Formal design review
规则式设计概述 |
| 4. | Formal design review
形式设计审查 |
| 5. | Further , these proposals do not provide any formal design methodology to ensure the stability of the control loop
更有甚者，这些方案没有提供任何正式的设计方法来确保控制环的稳定性。 |
| 6. | In order that the system will run well , the process of system design must abide by formal design schema and architecture
而资源的建设与共享是一项系统工程，系统要正常运行，必须遵循规范化的合理的设计模式和体系结构。 |
| 7. | By defining formal design patterns for information architecture , content providers can apply tested architectures to improve the user s experience
通过为信息体系结构定义正式的设计模式，内容提供者可以运用经过验证的体系结构提高用户经验。 |
| 8. | These methods begin with the formal design specifications given by the designer and then derive the top design codes by using refinement calculus laws
所谓形式化方法，就是利用严格的数学方法，从给出系统设计的规范( specifications )开始并逐步地推导或者验证系统的方法。 |
| 9. | It is the aim of the paper that how to improve the developing efficiency by formal method , the author adopts the idea of fuzzy math on the formal designing method , and put foreword a new formal designing method
本文的目的在于如何用形式化方法提高软件开发效率，作者把模糊数学的思想引入到形式化开发方法之中，提出了一种形式化开发的新方法。 |
| 10. | The thesis is organized as follows : ( 1 ) looks back the progress achieved by the formal design of software or hardware , and covers the foundations for formal design , presents a new two - level formal design method
在此基础上，分析了几个用形式方法设计的硬件系统。 ( 2 )提出了以agent组成的硬件设计的形式计算模型fcmhd ( formalcomputationalmodelforhardwaredesign ) 。 |
